Transfer Constructors
نویسندگان
چکیده
We present a modular, lexicalized, reversible and ambiguity preserving approach to semantic based transfer on sets of linear logic meaning and transfer constructors. In many cases, transfer on sets of meaning constructors (rather than on derived disambiguated meaning assignments) obviates the need for spurious multiple transfer on disambiguations. We concentrate on adjuncts and embedded head switching phenomena.
منابع مشابه
Glue, Underspeci cation and Translation
Gupta and Lamping, 1998] show how linear logic based meaning constructors in the glue language semantics of Dalrymple et al., 1996] can be converted to \almost Horn clause" form using the compilation method of Hepple, 1996]. EEcient linear logic deductions deliver skeleton and modiier resources resembling Underspeciied Discourse Representation Structures (UDRSs Reyle, 1993]). In this paper we p...
متن کاملSubtyping for Object Type Constructors
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requires a flexible subtype rule for type constructors that is not simply the pointwise extension of subtyping for types. At the same time, subtyping should avoid requiring run-time type checks, as in the Java subtype rule...
متن کاملA modular object initialization protocol
Object-oriented class-based languages provide mechanisms for the initialization of newly-created objects. These mechanisms specify how an object is initialized and what information is needed to do so. The initialization protocol is usually implemented as a list of constructors. It is often the case that the initialization protocol concerns some orthogonal properties of objects. Unfortunately, i...
متن کاملLoad transfer on single pile near new tunneling in sandy ground
S: A series of centrifuge model tests were performed to assess the tunneling-induced ground deformations and their detrimental effects on the neighboring single pile in the saturated sandy ground. The relative elevations between the pile tip and the buried depth of new driven tunnel dominated the distributions of bending moment and axial force along the depths. A load transfer mechanism is prop...
متن کاملSimulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
This paper shows equivalence of several versions of applicative similarity and contextual approximation, and hence also of applicative bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case-expressions and Haskell’s seq-operator. LR models an untyped version of the core language of Haskell. The use of bisimi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998